Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A Mathematical Semantics for Handling Full Jumps / by Christopher Strackey and Christopher P. Wadsworth
| A Mathematical Semantics for Handling Full Jumps / by Christopher Strackey and Christopher P. Wadsworth |
| Autore | Strachey, Christopher |
| Pubbl/distr/stampa | Oxford : Cambridge University Press, 1974 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001066500403321 |
Strachey, Christopher
|
||
| Oxford : Cambridge University Press, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A theory of programming language semantics / Rodert Milne, Christopher Strachey
| A theory of programming language semantics / Rodert Milne, Christopher Strachey |
| Autore | MILNE, Robert |
| Pubbl/distr/stampa | London : Chapman and Hall, 1976 |
| Descrizione fisica | v ; 23 cm |
| Disciplina | 001.642 4 |
| Altri autori (Persone) | STRACHEY, Christopher |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000361020203316 |
|
MILNE, Robert
|
||
| London : Chapman and Hall, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Indices and appendices, fundamental concepts, mathematical foundations / Robert Milne and Christopher Strachey
| Indices and appendices, fundamental concepts, mathematical foundations / Robert Milne and Christopher Strachey |
| Autore | MILNE, Robert |
| Pubbl/distr/stampa | London : Chapman and Hall, 1976 |
| Descrizione fisica | 368 p. : ill. |
| Disciplina | 001.642 4 |
| Altri autori (Persone) | STRACHEY, Christopher |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000361100203316 |
|
MILNE, Robert
|
||
| London : Chapman and Hall, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Standard semantics, store semsnticis, stack semantics / Robert Milne and Christopher Strachey
| Standard semantics, store semsnticis, stack semantics / Robert Milne and Christopher Strachey |
| Autore | MILNE, Robert |
| Pubbl/distr/stampa | London : Chapman and Hall, 1976 |
| Descrizione fisica | 858 p. : ill. |
| Disciplina | 001.642.4 |
| Altri autori (Persone) | STRACHEY, Christopher |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000361150203316 |
|
MILNE, Robert
|
||
| London : Chapman and Hall, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
The Varieties of Programming Languages / by Christopher Strachey
| The Varieties of Programming Languages / by Christopher Strachey |
| Autore | Strachey, Christopher |
| Pubbl/distr/stampa | Oxford : Cambridge University Press, 1973 |
| Disciplina | 510.78 |
| Soggetto non controllato |
Teoria della programmazione e utilizzazione dei computers
Software |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001066490403321 |
|
Strachey, Christopher
|
||
| Oxford : Cambridge University Press, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||